Posgay Ildikó 70 éves

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ildikó Sain TOTAL CORRECTNESS IN NONSTANDARD DYNAMIC

In this paper we investigate total correctness (termination and correctness simultaneously) in Nonstandard Dynamic Logic (NDL). Here we show that despite of the celebrated Kfoury-Park [5] result, termination is a first order notion if approached properly (e.g. via NDL). In Definition 1 below we recall the famous Manna-Cooper Q-method for proving total correctness. Then we do the same things to ...

متن کامل

Ildikó Sain COMPUTER SCIENCE TEMPORAL LOGICS

We use first-order temporal logic (FTL) with modalities ©, [F ], and U denoting “nexttime”, “always-in-the-future”, and “until” respectively. Given a first-order similarity type or language L, the usual predicate etc. symbols of L are considered to be rigid, i.e. their meanings do not change in time. Similarly, individual variables xi (i ∈ ω) are rigid. To this we add an infinity yi (i ∈ ω) of ...

متن کامل

Ildikó Sain COMPUTER SCIENCE TEMPORAL LOGICS NEED THEIR CLOCKS

We use first-order temporal logic (FTL) with modalities ©, [F ], and U denoting “nexttime”, “always-in-the-future”, and “until” respectively. Given a first-order similarity type or language L, the usual predicate etc. symbols of L are considered to be rigid, i.e. their meanings do not change in time. Similarly, individual variables xi (i ∈ ω) are rigid. To this we add an infinity yi (i ∈ ω) of ...

متن کامل

ILDIKÓ SZABÓ C 1 - Continuous Coons - type Blending of Triangular Patches

A Gordon–Coons-type surface construction starts from three differentiable triangular surface patches, which are defined on the same triangular parameter domain. If one boundary curve of each fits a curvilinear triangle, then the defined surface interpolates to these curves. The connection between the resulting surface and the constituents is C1 continuous along the common boundary curves with t...

متن کامل

. . . . . . . . . . . . . . . . . . . . . . 70

Program Chairs Margo Seltzer and Ric Wheeler opened FAST ’09 by thanking the contributors and stressing the value of interaction between students and attendees. Best Paper awards were presented to “CA-NFS: A Congestion-Aware Network File System” by Batsakis, Burns, Kanevsky, Lentini, and Talpey of NetApp and Johns Hopkins, and to “Generating Realistic Impressions for File System Benchmarking” b...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Magyar Nyelv

سال: 2017

ISSN: 0025-0228,1588-1210

DOI: 10.18349/magyarnyelv.2017.4.506